Философский энциклопедический словарь - тождества закон
Связанные словари
Тождества закон
тождества закон
в логике закон, согласно которому в процессе рассуждения любая законченная мысль (суждение, выражение) должна употребляется в одном и том же смысле. Непреложность закона тождества в исчислениях высказываний выражается теоремой: если при утверждении высказывания отрицается закон тождества, то тем самым отрицается и утверждение этого высказывания. На практике закон тождества предполагает некую идеализацию действительного характера тех объектов, о которых идет речь в данном высказывании, отвлечение от их развития и изменения, но это правомерно вследствие относительной устойчивости всех явлений в мире.
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
(лат. lex identitatis) в логике высказываний, закон постоянства высказываний: любая законченная мысль (суждение), выраженная в определ. форме высказывания и имеющая определ. истинностное значение, должна сохранять свою первонач. форму и своё значение в нек-ром известном заранее или подразумеваемом контексте. Для переменных в исчислении высказываний контекст действия Т. з. не фиксирован и не ограничен, а в приложениях логики (в моделях) он определяется ролью высказываний относительно модели. Этой особенностью Т. з. обусловлен, в частности, и выбор параметров при переводе с естеств. языка на язык логики: в пределах данного перевода каждый параметр может заменять только одно высказываниеконстанту, а разные высказыванияконстанты должны заменяться разными параметрами. Непреложность Т. з. в классич. и интуиционистском исчислениях высказываний выразима теоремой: если при утверждении высказывания отрицается Т. з., то тем самым отрицается и утверждение этого высказывания. В логике предикатов Т. з. полностью сохраняется для той её части, к-рая совпадает с логикой высказываний, а для универсума подразумеваемой модели вводится...Советский философский словарь
2.
логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя. Внешне это самый простой из логических законов. Его можно передать так: если высказывание истинно, то оно истинно. Напр.: "Если трава зеленая, то она зеленая", "Если трава черная, то она черная". Т. з. выражает идею, что каждое высказывание является необходимым и достаточным условием своей собственной истинности. С применением символики логической закон записывается так (р некоторое высказывание; -> импликация, "если, то"): если р, то р. Иногда Т. з. именуется формула с эквивалентностью (= "если и только если"): Р = Р, р в том и только том случае, если р. Т. з. принято называть и принципы аналогичного содержания, относящиеся не к высказываниям, а к именам (A некоторое имя): "Всякое A есть A" и "Некоторые A есть A". Напр.: "Всякий человек есть человек", "Некоторые квадраты это квадраты". "Некоторые" здесь означает "по меньшей мере некоторые, а может быть, и все", но не "только некоторые, но не все". Принцип "Всякое А есть A" иногда называют аристотелевски м Т. з. Традиционная ошибка, связанная с Т. з., подмена его требованием устойчивости,...Словарь по логике
3.
— закон логики, согласно к-рому в процессе рассуждения каждое осмысленное выражение (понятие, суждение) должно употребляться в одном и том же смысле. Предпосылкой его выполнимости является возможность различения и отождествления тех объектов, о к-рых идет речь в данном рассуждении. На деле, однако, такое различение и отождествление не всегда возможно (Различие, Тождество). Т. з. предполагает поэтому некоторую идеализацию действительного характера тех объектов, о к-рых идет речь в данном рассуждении (отвлечение от их развития и изменения), правомерность чего вытекает из факта относительной устойчивости явлений объективного мира. ...Философский энциклопедический словарь
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1813 | |
2 | 1618 | |
3 | 1471 | |
4 | 1400 | |
5 | 1333 | |
6 | 1308 | |
7 | 1218 | |
8 | 1170 | |
9 | 1145 | |
10 | 1092 | |
11 | 1000 | |
12 | 986 | |
13 | 982 | |
14 | 949 | |
15 | 940 | |
16 | 921 | |
17 | 892 | |
18 | 830 | |
19 | 816 | |
20 | 797 |